📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

Feeds to Scour
SubscribedAll
Scoured 258029 posts in 2.64 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
🔧LLVM IR
Preview
Report Post
Horton persistence progress
terracrypt.net·12h
✨Gleam
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.com·1d
🔄Incremental Lexing
Preview
Report Post
Linux perf Examples
brendangregg.com·16h
📊perf Tools
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·2h
🔧API Design
Preview
Report Post
The answer is in your heap: debugging a big memory increase in Ruby on Rails
island94.org·23h
📊Memory Profilers
Preview
Report Post
We Lost the Thread on the Data Lake
blog.matterbeam.com·1h·
Discuss: Hacker News
💾Persistent Heaps
Preview
Report Post
Meeting Seed7
genodians.org·1d
🌱Forth Kernels
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.to·1d·
Discuss: DEV
✅Configuration Validation
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎯Symbolic Execution
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·11h·
Discuss: Hacker News
🖥️Minimal VMs
Preview
Report Post
Semantic Deception: When Reasoning Models Can't Compute an Addition
arxiv.org·2d
🔍ML Language
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·6h
🌳Tree Walking
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.net·3d·
Discuss: r/programming
📊Pratt Parsers
Preview
Report Post
udlbook/udlbook: Understanding Deep Learning - Simon J.D. Prince
github.com·3h
🛡️Capability Security
Preview
Report Post
IPC in Rust
3tilley.github.io·1d
🔗Concurrency Primitives
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
🎯Type Theory
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·9h
🚂Error Propagation
Preview
Report Post
Cheney on the M.T.A.
plover.com·2d
🔄Tail Recursion
Preview
Report Post